ar X iv : 0 70 7 . 10 59 v 1 [ cs . P L ] 6 J ul 2 00 7 Projection semantics for rigid loops ∗
نویسندگان
چکیده
A rigid loop is a for-loop with a counter not accessible to the loop body or any other part of a program. Special instructions for rigid loops are introduced on top of the syntax of the program algebra PGA. Two different semantic projections are provided and proven equivalent. One of these is taken to have definitional status on the basis of two criteria: ‘normative semantic adequacy’ and ‘indicative algorithmic adequacy’.
منابع مشابه
Frequency Quantized Nondiffracting X Waves in a Confined Space
ar X iv :p hy si cs /0 60 70 59 v 1 7 Ju l 2 00 6 Abstract This paper presents theoretical results indicating that newly discovered nondiffracting beams we call X waves, can propagate in a confined space (wave guide) with specific quantized temporal frequencies. These results could have applications in nondispersive transmission of acoustic, electromagnetic (microwaves) and optical energy throu...
متن کاملar X iv : 0 90 7 . 09 39 v 1 [ cs . A I ] 6 J ul 2 00 9 The Soft Cumulative Constraint
This research report presents an extension of Cumulative of Choco constraint solver, which is useful to encode over-constrained cumulative problems. This new global constraint uses sweep and task interval violation-based algorithms.
متن کاملar X iv : 0 70 7 . 03 46 v 1 [ m at h - ph ] 3 J ul 2 00 7 THE ONE - DIMENSIONAL SCHRÖDINGER - NEWTON EQUATIONS
We prove an existence and uniqueness result for ground states of one-dimensional Schrödinger-Newton equations.
متن کاملar X iv : 0 90 7 . 09 39 v 2 [ cs . A I ] 7 J ul 2 00 9 The Soft Cumulative Constraint Thierry Petit Emmanuel
This research report presents an extension of Cumulative of Choco constraint solver, which is useful to encode over-constrained cumulative problems. This new global constraint uses sweep and task interval violation-based algorithms.
متن کاملar X iv : h ep - p h / 02 07 09 7 v 1 6 J ul 2 00 2 Remarks on the compactified six - dimensional model of a particle
Non-homogeneous gauge ground state solutions in a six-dimensional gauge model in the presence of non-zero extended fermionic charge density fluctuations are reviewed and fully reinterpreted.
متن کامل